#ifndef PRINT_H
#define PRINT_H

#include <stdint.h>

void indent( uint32_t level );

#endif
